Extended ML - PDFSEARCH.IO - Document Search Engine

Extended ML
Results: 16

#	Item
11	Dependent Types in Practical (Extended Programming* Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2001-01-30 15:56:16 Type theory Functional languages Data types Procedural programming languages Functional programming Standard ML Type system ML System F Software engineering Programming language theory Computing
12	CHILDREN’S ADMINISTRATION Non-Forecasted Extended Foster Care ML Request FY15 Add to Reading List Source URL: www.dshs.wa.gov Language: English - Date: 2014-09-16 14:10:33 Family Foster care
13	An annotated example of Dag-ML and a Diag-ML schema is attached. This will help you to better see the types of information that is represented in the schema. This schema can always be extended to allow for more and more Add to Reading List Source URL: www.diag-ml.com Language: English - Date: 2008-03-04 23:39:10 Markup languages Open formats Technical communication XML IETM Database schema XML Schema Language comparison Computing OSI protocols Information
14	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics
15	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
16	Functional Programming and Specification Lecture Note 4, 15 March 2011 Specifying structures in Extended ML Axioms can be used to specify structures too. A structure will typically contain several Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:39 Data types Z notation ALGOL 68 Hindley–Milner Array data type List Constructible universe S Comparison of programming languages Software engineering Computing Programming language theory

UPDATE